Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
Война резолюций — распространённый термин[1][2][3][4][5][6][7] для описания политического конфликта, при котором одна сторона инициирует принятие резолюции с целью давления на другую сторону. Обычно в резолюции содержится осуждение или введение санкций. В основном … Википедия
Список резолюций, на которые США накладывали вето за последние 15 лет — Ниже приводится справочная информация. Авторы Устава Организации Объединенных Наций сочли, что пять стран Китай, Франция, Союз Советских Социалистических Республик (СССР) (правопреемником которого в 1991 году стала Российская Федерация),… … Энциклопедия ньюсмейкеров
доказательство теорем методом резолюций — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN resolution theorem proving … Справочник технического переводчика
метод резолюций — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN resolution method … Справочник технического переводчика
Метод резолюций — Правило резолюций правило вывода в исчислении высказываний и исчислении предикатов. Исчисление высказываний Пусть C1 и C2 два предложения в исчислении высказываний, и пусть , а , где P пропозициональная переменная, а C 1 и … Википедия
Список резолюций СБ ООН с 1 по 100 — … Википедия
Филарет Дроздов — (до пострижения Василий Михайлович) митрополит московский, род. 26 дек. 1782 г. в городе Коломне Московской губернии, где отец его Михаил Феодорович был соборным протоиереем; умер 19 нояб. 1867 г. После домашнего воспитания под руководством… … Большая биографическая энциклопедия
Конгресс США — (United States Congress) Структура, состав и полномочия Конгресса США, сенат Конгресса США Комитеты и комиссии Конгресса США, члены Конгресса США, процедуры деятельности Конгресса США Содержание Содержание Раздел 1. Структура и порядок… … Энциклопедия инвестора
межамериканские конференции — (до 1948 официально именовались Международными конференциями американских государств или Панамериканскими конференциями), созывавшиеся с 1889 конференции представителей США и стран Латинской Америки; сыграли важнейшую роль в создании… … Энциклопедический справочник «Латинская Америка»
ООН. СТРУКТУРА — В соответствии с Уставом ООН учреждены шесть основных органов новой всемирной организации: Совет Безопасности, Генеральная Ассамблея, Секретариат, Экономический и социальный совет, Совет по опеке, Международный суд ООН. Кроме того, Устав допускал … Энциклопедия Кольера
